Jean-Raymond Abrial: د Z-Library په سایټ کښې پلټل

پوهې او کلتور ته وړیا لاسرسی.

Don't use scam websites

د فیلترونو نه استفاده وشوه

دقیق مطابقت والی

دقیق مطابقت والی

کتابونه (16)
مشهورترین
لیسټ
- لیسټ
- جدول

1

Event-B建模系统和软件工程(Event-B modeling)

Event-B建模系统和软件工程(Event-B modeling)

人民邮电出版社

作者：Jean-Raymond Abrial；裘宗燕译

کال:

2019

ژبه:

chinese

فایل:

PDF, 64.58 MB

0 / 4.0

chinese, 2019

2

Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering

Cambridge University Press

Jean-Raymond Abrial

کال:

2010

ژبه:

english

فایل:

PDF, 3.01 MB

0 / 0

english, 2010

3

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

کال:

2006

ژبه:

english

فایل:

PDF, 4.94 MB

0 / 0

english, 2006

4

Modeling in Event-B : system and software engineering

Modeling in Event-B : system and software engineering

Cambridge University Press

Jean-Raymond Abrial

کال:

2010

ژبه:

english

فایل:

PDF, 2.05 MB

0 / 0

english, 2010

5

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

کال:

2003

ژبه:

english

فایل:

PDF, 2.93 MB

0 / 0

english, 2003

6

The B-book : assigning programs to meanings / [...] XD-US

The B-book : assigning programs to meanings / [...] XD-US

Cambridge [u.a.] Cambridge Univ. Press

Jean-Raymond Abrial

کال:

1996

ژبه:

english

فایل:

DJVU, 6.18 MB

0 / 0

english, 1996

7

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.)

کال:

2013

ژبه:

english

فایل:

PDF, 7.94 MB

0 / 0

english, 2013

8

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

کال:

2009

ژبه:

english

فایل:

PDF, 10.61 MB

0 / 0

english, 2009

9

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

کال:

2009

ژبه:

english

فایل:

PDF, 5.05 MB

0 / 0

english, 2009

10

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Egon Börger (auth.), Jean-Raymond Abrial, Egon Börger, Hans Langmaack (eds.)

کال:

1996

ژبه:

english

فایل:

DJVU, 4.81 MB

0 / 0

english, 1996

11

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

کال:

2013

ژبه:

english

فایل:

PDF, 5.34 MB

0 / 0

english, 2013

12

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)

کال:

2009

ژبه:

english

فایل:

PDF, 3.05 MB

0 / 0

english, 2009

13

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

کال:

2003

ژبه:

english

فایل:

PDF, 1.79 MB

0 / 0

english, 2003

14

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

کال:

2006

ژبه:

english

فایل:

PDF, 4.60 MB

0 / 0

english, 2006

15

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)

کال:

2009

ژبه:

english

فایل:

PDF, 3.90 MB

0 / 0

english, 2009

16

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)

کال:

2009

ژبه:

english

فایل:

PDF, 3.13 MB

0 / 0

english, 2009